[MINIOS] Delay enabling event delivery at start of day.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>

diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index 9b3c471fe7981054b7bf1e319b2f3a40a2ab8461..152499ceb4c2793870ecbf1ec59b73e341534a2f 100644 (file)
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -101,9 +101,6 @@ void start_kernel(start_info_t *si)
 
     trap_init();
 
-    /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
-    __sti();
-    
     /* print out some useful information  */
     printk("Xen Minimal OS!\n");
     printk("start_info:   %p\n",    si);
@@ -119,6 +116,9 @@ void start_kernel(start_info_t *si)
     /* Set up events. */
     init_events();
     
+    /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
+    __sti();
+
     arch_print_info();
 
     setup_xen_features();